#include <stddef.h>
#include <stdint.h> 
#include <video.h>

void kernel_main() {
  clear_screen();
  set_cursor(get_screen_offset(0, 0));
}
